advice[e81,jmc]		Advice to Earthmen
ALAIN.[E81,JMC]		script of Colmerauer session with prolog
apply.ax[e81,jmc]	EKL axioms for apply and eval for making recursive function defs
barrel[e81,jmc]		Barrel and slot simulated multi-processor
BOSS.[E81,JMC]		mailing list for Pournelle White House computing interest
cerf.pro[e81,jmc]	draft proposal to Cerf to support verification work
COL1.[E81,JMC]		prolog coloring program
collec.pr[e81,jmc]	prolog program collecting the p(X) into a list
color.ax[e81,jmc]	discussion of axioms for coloring maps
CONTEX.[E81,JMC]	Comments on Context plan
COPY.PPR[E81,JMC]	copy isthe identity function
COPY.PRF[E81,JMC]	copy is the identity function
ekl.not[e81,jmc]		Comments on ekl
elepha.sum[e81,jmc]	Summary of Elephant paper for POPL
equip.mem[e81,jmc]	SOME CONSIDERATIONS ON COMPUTER EQUIPMENT
EVAL.AX[E81,JMC]	axiomatization of eval so defs will be truly defs
eval.pr[e81,jmc]	original prolog program for eval
eval2.pr[e81,jmc]	prolog program for eval using cuts to get unique answer
eval3.pr[e81,jmc]	prolog program for eval using no cut but or and friends
examp1.pr[e81,jmc]	examples of prolog programs
featur[e81,jmc]		Features of situations
france[e81,jmc]		Transcription of some notes from French trip
FRED.PR[E81,JMC]	Prolog coloring program using Fred's idea
frpres[e81,jmc]		MARSEILLES SPEECH TO FRENCH UNIVERSITY PRESIDENTS
HALL.NOT[E81,JMC]	officials concerned with reviewing questionnaires
inspir[e81,jmc]		Inspirational lecture to new Stanford students
INVEST.NS[E81,JMC]	investment advice
kahn.pr[e81,jmc]	Test of Ken Kahn's "Intermission - actors in Prolog"
know[e81,jmc]		Revising Montague's knowledge axioms
kyoto.pub[e81,jmc]	version of Recursive Programs as First order ...
LISP.AX[E81,JMC]	ekl lisp axioms
LISP.PPR[E81,JMC]	ekl lisp axioms
LISP.PRF[E81,JMC]	ekl lisp axioms in internal ekl form
MAPS.BIG[E81,JMC]	map coloring and kowalski with notes
maps.pr[e81,jmc]	prolog programs for coloring maps
maps[e81,jmc]		Map coloring and the Kowalski doctrine
META.OTL[E81,JMC]	SCRIBE version of Stallman
meta[e81,jmc]		Comments on Stallman's META paper
multiv[e81,jmc]		Multiple valued functions in LISP
multi[e81,jmc]		Proposals for multi-processing in S-1 LISP		World War II.
oneway[e81,jmc]		advocating one way space missions
POSTPO.PR[E81,JMC]	postponement - probably Colmerauer's
query.pr[e81,jmc]	Queries about prolog
space[e81,jmc]		Blast for \bboard in favor of space
STATES.PR[E81,JMC]	adjacencies of states
surviv[e81,jmc]		SURVIVAL AFTER NUCLEAR ATTACK ON THE UNITED STATES
transp.ess[e81,jmc]	Essay on transportation
y.ax[e81,jmc]		EKL axioms for forms of Y combinator